Nuprl Definition : segment
2,24
postcript
pdf
as
[
m
..
n
] == firstn(
n
-
m
;nth_tl(
m
;
as
))
latex
Definitions
firstn(
n
;
as
)
,
nth_tl(
n
;
as
)
FDL editor aliases
segment
origin
] == firstn(n-m;nth_tl(m;as)) ] == firstn(n-m;nth_tl(m;as))